منابع مشابه
Types directed by constants
Let T be a complete, countable, first-order theory having infinite models. We introduce types directed by constants, and prove that their presence in a model of T guaranties the maximal number of non-isomorphic countable models : I(א0, T ) = 20 . © 2009 Elsevier B.V. All rights reserved. Shelah in [6] proved that a countable theory with an infinite, definable, linear order and Skolem functions ...
متن کاملLogical Constants Across Varying Types
We investigate the notion of "logicality" for arbitrary categories of linguistic expression, viewed as a phenomenon which they can all possess to a greater or lesser degree. Various semantic aspects of logicality are analyzed in technical detail: in particular, invariance for permutations of individual objects, and respect for Boolean structure. Moreover, we show how such properties are systema...
متن کاملIdentifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy programming languages, may be distributed throughout the code. The encapsulation of such collections is a necessary step for reengineering a legacy system into an objectoriented design or implementation. Encapsulating a set...
متن کاملDirected Sets and Cofinal Types
We show that 1, w, ax, u x ux and ["iF" are the only cofinal types of directed sets of size S,, but that there exist many cofinal types of directed sets of size continuum. A partially ordered set D is directed if every two elements of D have an upper bound in D. In this note we consider some basic problems concerning directed sets which have their origin in the theory of Moore-Smith convergence...
متن کاملNew Criteria for Existence of a Class of Generalized Euler-types Constants
One of the most important mathematical constants is Euler-Mascheroni constant that is the limit of the sequence -------------------------------- and is denoted by gamma. Some other developed constants known as Euler type constants are introduced in order to generalize the above constant. In the present paper, inspired by the functional sequence derivative of the limit summand of functions (i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2010
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.12.002